Concurrency control

Results: 1488



#Item
331Transaction processing / Memory management / Linearizability / Parallel computing / Concurrent data structure / Non-blocking algorithm / Garbage collection / Algorithm / Sequential consistency / Computing / Concurrent computing / Concurrency control

Experience with Model Checking Linearizability Martin Vechev, Eran Yahav, and Greta Yorsh IBM T.J. Watson Research Center Non-blocking concurrent algorithms offer significant performance advantages, but are very difficul

Add to Reading List

Source URL: www.cs.technion.ac.il

Language: English - Date: 2009-09-25 09:19:19
332Fault-tolerant computer systems / Concurrent computing / Computer architecture / Linearizability / Consensus / State machine replication / Trace / Distributed algorithm / Consistency model / Computing / Transaction processing / Concurrency control

Speculative Linearizability Rachid Guerraoui Viktor Kuncak Giuliano Losa

Add to Reading List

Source URL: lara.epfl.ch

Language: English - Date: 2012-03-24 17:12:17
333Information / Fault-tolerant computer systems / Concurrency control / Databases / Replication / Quorum / Serializability / Two-phase commit protocol / Extensible Storage Engine / Transaction processing / Data management / Data

Replication in distributed systems

Add to Reading List

Source URL: cs.gmu.edu

Language: English - Date: 2005-05-02 14:02:25
334Transaction processing / Database management systems / Relational database management systems / Extensible Storage Engine / Algorithms for Recovery and Isolation Exploiting Semantics / Oracle Database / TANGO / Replication / Concurrency control / Data management / Software / Computing

Tango: Distributed Data Structures over a Shared Log Mahesh Balakrishnan∗, Dahlia Malkhi∗, Ted Wobber∗, Ming Wu‡, Vijayan Prabhakaran∗ Michael Wei§, John D. Davis∗, Sriram Rao†, Tao Zou¶, Aviad Zuckk ∗

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2013-11-07 16:40:48
335Data / Information / Software transactional memory / Parallel computing / Linearizability / Transactional memory / Schedule / Database transaction / Serializability / Transaction processing / Concurrency control / Data management

Transactions in the Jungle ∗ Rachid Guerraoui

Add to Reading List

Source URL: infoscience.epfl.ch

Language: English - Date: 2011-07-09 03:47:32
336Information / Concurrency control / Fault-tolerant computer systems / Databases / Two-phase commit protocol / Replication / Paxos / Isolation / Optimistic concurrency control / Transaction processing / Data management / Data

Spanner: Google’s Globally-Distributed Database James C. Corbett, Jeffrey Dean, Michael Epstein, Andrew Fikes, Christopher Frost, JJ Furman, Sanjay Ghemawat, Andrey Gubarev, Christopher Heiser, Peter Hochschild, Wilson

Add to Reading List

Source URL: www.frostnet.net

Language: English - Date: 2012-09-15 13:43:07
337Philosophy of biology / Knowledge / Science / Concurrency control / Real-time computing / Biology / Conservation / Conservation biology

` CORTLAND COUNTY SOIL AND WATER CONSERVATION DISTRICT (SWCDANNUAL PLAN OF ACTION VISION STATEMENT: Assist with the wise use and conservation of Cortland County’s natural resources, and the maintenance and impr

Add to Reading List

Source URL: www.cortlandswcd.org

Language: English - Date: 2014-03-05 15:49:20
338Concurrency control / Transaction processing / Cache / Software bugs / Database management systems / Lock / CPU cache / Reliability engineering / Parallel computing / Computing / Software engineering / Information technology management

Leveraging the Short-Term Memory of Hardware to Diagnose Production-Run Software Failures Joy Arulraj Guoliang Jin

Add to Reading List

Source URL: people.cs.uchicago.edu

Language: English - Date: 2014-01-15 15:01:38
339Transaction processing / Concurrency / Computer memory / Linearizability / Concurrent computing / Non-blocking algorithm / Memory barrier / Sequential consistency / Parallel computing / Computing / Concurrency control / Computer architecture

Dynamic Synthesis for Relaxed Memory Models Feng Liu Nayden Nedev Nedyalko Prisadnikov

Add to Reading List

Source URL: www.cs.technion.ac.il

Language: English - Date: 2012-03-27 11:34:59
UPDATE